Incremental global reoptimization of programs
نویسندگان
چکیده
منابع مشابه
Deriving Incremental Programs
A systematic stepwise transformational approach is given for deriving incremental programs from non-incremental programs. We exploit partial evaluation, other static analysis and transformation techniques, and domain-speciic knowledge in order to provide a degree of incremen-tality not otherwise achievable by a generic incremental evaluator. The generality of our model of incremental computatio...
متن کاملIncremental Analysis of Logic Programs
Global analyzers traditionally read and analyze the entire program at once, in a non-incremental way. However, there are many situations which are not well suited to this simple model and which instead require reanalysis of certain parts of a program which has already been analyzed. In these cases, it appears ineecient to perform the analysis of the program again from scratch, as needs to be do...
متن کاملLimitations of Incremental Dynamic Programs
We consider so-called “incremental” dynamic programming algorithms, and are interested in the number of subproblems produced by them. The standard dynamic programming algorithm for the n-dimensional Knapsack problem is incremental, produces nK subproblems and nK relations (wires) between the subproblems, where K is the capacity of the knapsack. We show that any incremental algorithm for this pr...
متن کاملSystematic Derivation of Incremental Programs
A systematic approach is given for deriving incremental programs from non incremental programs written in a standard functional programming language We exploit a number of program analysis and transformation techniques and domain speci c knowledge centered around e ective utilization of caching in order to provide a degree of incrementality not otherwise achievable by a generic incremental eval...
متن کاملIncremental Global Event Extraction
Event extraction is a difficult information extraction task. Li et al. (2014) explore the benefits of modeling event extraction and two related tasks, entity mention and relation extraction, jointly. This joint system achieves state-of-the-art performance in all tasks. However, as a system operating only at the sentence level, it misses valuable information from other parts of the document. In ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 1992
ISSN: 0164-0925,1558-4593
DOI: 10.1145/128861.128865